Roberto Bagnara: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Set-sharing is redundant for pair-sharing

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 279 KB

english, 2002

2

Compound heterozygosity for two different amino-acid substitution mutations in the thrombopoietin receptor (c-mplgene) in congenital amegakaryocytic thrombocytopenia (CAMT)

Roberto Tonelli, Anna Lisa Scardovi, Andrea Pession, Pierluigi Strippoli, Laura Bonsi, Lorenza Vitale, Arcangelo Prete, Franco Locatelli, Gian Paolo Bagnara, Guido Paolucci

Journal:

Year:

2000

Language:

english

File:

PDF, 255 KB

english, 2000

3

A Unified Proof for the Convergence of Jacobi and Gauss-Seidel Methods

Roberto Bagnara

Journal:

Year:

1995

Language:

english

File:

PDF, 357 KB

english, 1995

4

Cetoniinae (Coleoptera: Scarabaeidae) Attracted to Fruit-Baited Traps Near Aquidauana, Mato Grosso Do Sul, Brazil

Rodrigues, Sérgio Roberto, Oliveira, Joaquim LuĀ Nagase De, Bagnara, Cristiane Aparecida Constante, Puker, Anderson

Journal:

The Coleopterists Bulletin

Year:

2013

Language:

english

File:

PDF, 13.89 MB

english, 2013

5

A Unified Proof for the Convergence of Jacobi and Gauss–Seidel Methods

Bagnara, Roberto

Journal:

Year:

1995

Language:

english

File:

PDF, 387 KB

english, 1995

6

Production of stem cell factor and expression of c-kit in human rhabdomyosarcoma cells: Lack of autocrine growth modulation

Lorena Landuzzi, Pierluigi Strippoli, Carla De Giovanni, Giordano Nicoletti, Ilaria Rossi, Roberto Tonelli, Flavia Frabetti, Patrizia Nanni, Gian Paolo Bagnara, Pier-Luigi Lollini

Journal:

International Journal of Cancer

Year:

1998

Language:

english

File:

PDF, 107 KB

english, 1998

7

Exact join detection for convex polyhedra and other numerical abstractions

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Computational Geometry

Year:

2010

Language:

english

File:

PDF, 484 KB

english, 2010

8

Precise widening operators for convex polyhedra

Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 835 KB

english, 2005

9

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Science of Computer Programming

Year:

2008

Language:

english

File:

PDF, 877 KB

english, 2008

10

Applications of polyhedral computations to the analysis and verification of hardware and software systems

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.43 MB

english, 2009

11

A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages

Roberto Bagnara

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 2.44 MB

english, 1998

12

Not necessarily closed convex polyhedra and the double description method

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 457 KB

english, 2005

13

Widening operators for powerset domains

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 609 KB

english, 2006

14

Widening operators for powerset domains

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 287 KB

english, 2007

15

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness

Roberto Bagnara, Patricia M. Hill, Enea Zaffanella

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 1.00 MB

english, 2009

16

Finite-tree analysis for constraint logic-based languages

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 319 KB

english, 2004

17

A new look at the automatic synthesis of linear ranking functions

Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 370 KB

english, 2012

18

Long-term bone marrow cultures in Diamond-Blackfan anemia reveal a defect of both granulomacrophage and erythroid progenitors

Maria Alessandra Santucci, Gian Paolo Bagnara, Pierluigi Strippoli, Laura Bonsi, Lorenza Vitale, Roberto Tonelli, Franco Locatelli, Vilma Gabutti, Ugo Ramenghi, Michele D’Avanzo, Guido Paolucci, Pasqu

Journal:

Experimental Hematology

Year:

1999

Language:

english

File:

PDF, 361 KB

english, 1999

19

Expression of T cell receptor alpha gene (TCRA) in human rhabdomyosarcoma and other musculo-skeletal sarcomas

Stefania Croci, Pierluigi Strippoli, Laura Bonsi, Gian Paolo Bagnara, Gianni Guizzunti, Roberta Sartini, Roberto Tonelli, Christian Messina, Laura Pierdomenico, Pier-Luigi Lollini

Journal:

Year:

2005

Language:

english

File:

PDF, 195 KB

english, 2005

20

Production of interleukin 6, leukemia inhibitory factor and granulocyte-macrophage colony stimulating factor by peripheral blood mononuclear cells in fanconi's anemia

Lorenza Vitale, Gian Paolo Bagnara, Guido Paolucci, Laura Bonsi, Pierluigi Strippoli, Francesca Bonifazi, Massimiliano Bonafeg, Roberto Tonelli, Giuliana Bubola, Ugo Ramenghi, Fabio Timeus, Vilma Gabu

Journal:

Year:

1993

Language:

english

File:

PDF, 524 KB

english, 1993

21

The cost of a strategy

Umiltà, Carlo, Nicoletti, Roberto, Simion, Francesca, Tagliabue, Maria Elena, Bagnara, Sebastiano

Journal:

European Journal of Cognitive Psychology

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

22

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Symbolic Path-Oriented Test Data Generation for Floating-Point Programs

Bagnara, Roberto, Carlier, Matthieu, Gori, Roberta, Gotlieb, Arnaud

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

23

Ultrastructural Characteristics of Human Mesenchymal Stromal (Stem) Cells Derived from Bone Marrow and Term Placenta

Pasquinelli, Gianandrea, Tazzari, Pierluigi, Ricci, Francesca, Vaselli, Cristiana, Buzzi, Marina, Conte, Roberto, Orrico, Catia, Foroni, Laura, Stella, Andrea, Alviano, Francesco, Paolo Bagnara, Gian,

Journal:

Ultrastructural Pathology

Year:

2007

Language:

english

File:

PDF, 1.81 MB

english, 2007

24

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - Enhanced sharing analysis techniques

Bagnara, Roberto, Zaffanella, Enea, Hill, Patricia M.

Year:

2000

Language:

english

File:

PDF, 597 KB

english, 2000

25

[ACM Press the 15th Symposium - Madrid, Spain (2013.09.16-2013.09.18)] Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13 - Eventual linear ranking functions

Bagnara, Roberto, Mesnard, Fred

Year:

2013

Language:

english

File:

PDF, 1.29 MB

english, 2013

26

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages

HILL, PATRICIA M., ZAFFANELLA, ENEA, BAGNARA, ROBERTO

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 278 KB

english, 2004

27

Coding guidelines for Prolog

COVINGTON, MICHAEL A., BAGNARA, ROBERTO, O'KEEFE, RICHARD A., WIELEMAKER, JAN, PRICE, SIMON

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 374 KB

english, 2012

28

Enhanced sharing analysis techniques: a comprehensive evaluation

BAGNARA, ROBERTO, ZAFFANELLA, ENEA, HILL, PATRICIA M.

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 295 KB

english, 2005

29

Decomposing non-redundant sharing by complementation

ZAFFANELLA, ENEA, HILL, PATRICIA M., BAGNARA, ROBERTO

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 408 KB

english, 2002

30

Soundness, idempotence and commutativity of set-sharing

HILL, PATRICIA M., BAGNARA, ROBERTO, ZAFFANELLA, ENEA

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 509 KB

english, 2002

31

cTI: a constraint-based termination inference tool for ISO-Prolog

MESNARD, FRED, BAGNARA, ROBERTO

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 148 KB

english, 2005

32

SPIE Proceedings [SPIE Second Backaskog Workshop on Extremely Large Telescopes - Backaskog, Sweden (Tuesday 9 September 2003)] Second Backaskog Workshop on Extremely Large Telescopes - Layer-Oriented on paper, laboratory, and soon on the sky

Farinato, Jacopo, Ardeberg, Arne L., Andersen, Torben, Ragazzoni, Roberto, Arcidiacono, Carmelo, Paolo, Bagnara, Baruffolo, Andrea, Baumeister, Harald, Bisson, Raffaella, Bohnhardt, Hermann, Brindisi,

Year:

2003

Language:

english

File:

PDF, 1.09 MB

english, 2003

33

Exploiting Binary Floating-Point Representations for Constraint Propagation

Bagnara, Roberto, Carlier, Matthieu, Gori, Roberta, Gotlieb, Arnaud

Journal:

INFORMS Journal on Computing

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

34

Survey of saproxylophagous Melolonthidae (Coleoptera) and some biological aspects in Aquidauana, MS

Garcia, Felix Placência, Rodrigues, Sérgio Roberto, Bagnara, Cristiane Aparecida Constante, Oliveira, Diogo Silva de

Journal:

Biota Neotropica

Year:

2013

File:

PDF, 1.17 MB

2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски